$L$ $\vdash$fpf$\rightarrow$ $v$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$L$$,\,$$\lambda$$x$.$v$$\rangle$